How to prove a relation is equivalence relation